<?hh

function foo() {
var_dump((string)__NAMESPACE__);
}
